Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.comยท1hยท
Discuss: Hacker News
๐ŸŽจDomain-Specific Languages
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.orgยท16h
๐ŸŒฑForth Kernels
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ‘‘Dependent Haskell
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Rdza โ€“ Rust Programming, in Polish
github.comยท9hยท
Discuss: Hacker News
๐ŸŽ“Teaching Compilers
Flag this post
GIR-Bench: Versatile Benchmark for Generating Images with Reasoning
paperium.netยท3hยท
Discuss: DEV
๐Ÿ—บ๏ธRegion Polymorphism
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท11hยท
๐Ÿ“กErlang BEAM
Flag this post
Beyond the Black Box: Making LLM Decoding Truly End-to-End
dev.toยท3hยท
Discuss: DEV
๐ŸชœRecursive Descent
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ“šStack Allocation
Flag this post
How fast can an LLM go?
fergusfinn.comยท1dยท
Discuss: Hacker News
๐Ÿ—บ๏ธRegion Inference
Flag this post
[P] I build a model to visualise live collision risk predictions for London from historical TFL data
reddit.comยท5hยท
โš–๏ธWeighted Automata
Flag this post
Olsrt โ€“ OverLab Streams Runtime
news.ycombinator.comยท5hยท
Discuss: Hacker News
๐Ÿ“กErlang BEAM
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท5hยท
Discuss: DEV
โš™๏ธTOML Parsers
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.comยท10h
๐Ÿ’ฌSmalltalk VMs
Flag this post
๐ŸŽฒ On LLMs
kaukas.mataroa.blogยท11h
๐ŸŽฎLanguage Ergonomics
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgยท1d
๐Ÿ“‹Tablegen
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
One last endorsement for the ZGX Nano AI workstation
globalnerdy.comยท1h
๐Ÿ”€SIMD Programming
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐ŸงฉConstraint Solvers
Flag this post